We’re grateful and honored that the Cardano community has voted in support of the Input | Output Engineering (IOE) funding proposal as part of the Cardano Vision & Roadmap. On behalf of the entire team, thank you for your confidence in our work and in the shared future we’re building together.

Your vote represents more than just funding approval. It’s a signal that the community…

Cardanoコミュニティはブロックチェーン業界で真に注目すべきことを達成した。過去3年間で、ADA保有者は、独自の憲法、選出された代表、完全に自律的な意思決定システムを備えた、クリプト界で最も野心的な分散型ガバナンスプログラムの構築を支援してきた。このタイムラインでは、コンセプトから現実へ至るまでの、この稀有な旅における重要なマイルストーンを辿る。

基盤形成期（2022年～2023年）

2022年11月：始まり

エディンバラで開催されたScotFestは、Cardanoが分散型ガバナンスへと移行するVoltaire期の幕開けとなった。同月、 CIP-1694の初期バージョンが公開されたが、ここで、ブロックチェーンの意志決定方法を変革することになる最小限のガバナンス原則が概説された。

2023年2月～7月：グローバルコミュニティのエンゲージメント

コロラドCIP-1694ワークショップ…

Cardanoのスマートコントラクトの中には、高価値トランザクションを伴うものもある。多くの開発者は今でも従来のソフトウェア開発で一般的に使われているセキュリティ対策に依存している。手動でのコードレビュー、ユニットテスト、外部監査はバグやその他の問題を特定するのに効果的であるが、スマートコントラクトは新たな固有の課題を提起する。例えば、誤った、または悪意のあるスマートコントラクトコードは、不可逆的な損失につながる可能性がある。

…

Python、TypeScript、Scalaなどのモダン言語で作成されたスマートコントラクトを、ビットコイン自体を変更することなくビットコインで実行できるとしたら。

Input | Output (IO)で開発されている新しいコンパイルパイプラインによって、そのアイデアは現実になりつつある。シリアル化されたスマートコントラクト形式（Untyped Plutus Core：UPLC）、洗練されたインタープリターアーキテクチャーであるCEK - Control（制御）Environment（環境）Kontinuation（継続）- マシン、広くサポートされているオープンソースのRISCセットアーキテクチャー（RISC-V）を組み合わせることで、IOは表現力豊かなCardanoスマートコントラクトの世界からビットコインの堅牢なベース層への接続を構築している。その中心にあるのが、RISC-Vを利用してオフチェーンロジックを安全に実行する、ビットコインのオプティミスティック検証システムBitVMX…

Cardanoでは、スマートコントラクトはPlinth、Aiken、Plu–tsなどの強力な表層言語で作成される。これらのコントラクトは現実の貴重な資産をコントロールする。失敗した場合、資金は盗まれたり永久にロックされたりする可能性がある。

Input | Output (IO)は、Cardanoスマートコントラクトに形式検証をもたらす新しいツールを開発している。AGDA、ROQ（旧Coq）、その他の証明支援系のようなシステムに基づくエコシステム内の既存のツールは強力な保証を提供しているが、一般的に使用するには専門知識が必要である。この新しいツールはLean4証明系とZ3のようなSMTソルバーを組み合わせて、コントラクトが意図したとおりに動作するかを自動的にチェックする。その目標は、開発者が自分で形式証明を記述する必要性をなくすことである。

…